(0 17 10)(1 16 4)(2 9 5)(3 14 12)(6 13 8)(7 15 11)
ALLOWS (11/8)-SEQUENCE
1: (6 8 13)

(0 17 10)(1 16 4)(2 9 5)(3 14 12)(6 8 13)(7 15 11)
2: (7 15 11)

(0 17 10)(1 16 4)(2 9 5)(3 14 12)(6 8 13)(7)(11)(15)
3: (6 8 13)

(0 17 10)(1 16 4)(2 9 5)(3 14 12)(6)(7)(8)(11)(13)(15)
4: (3 14 12)

(0 17 10)(1 16 4)(2 9 5)(3)(6)(7)(8)(11)(12)(13)(14)(15)